Symbolic execution

Results: 153



#Item
11SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2013-12-12 08:42:01
    12A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d

    A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d

    Add to Reading List

    Source URL: webblaze.cs.berkeley.edu

    Language: English - Date: 2014-11-17 18:57:29
      13SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania

      SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania

      Add to Reading List

      Source URL: nets.cs.pub.ro

      Language: English - Date: 2016-07-20 11:18:40
        14Accelerating Array Constraints in Symbolic Execution David M. Perry∗ Andrea Mattavelli Xiangyu Zhang

        Accelerating Array Constraints in Symbolic Execution David M. Perry∗ Andrea Mattavelli Xiangyu Zhang

        Add to Reading List

        Source URL: srg.doc.ic.ac.uk

        - Date: 2017-05-19 12:23:50
          15Symbolic Types for Lenient Symbolic Execution

          Symbolic Types for Lenient Symbolic Execution

          Add to Reading List

          Source URL: www.ccs.neu.edu

          - Date: 2017-12-12 10:22:57
            16Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster

            Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster

            Add to Reading List

            Source URL: www.cs.colorado.edu

            - Date: 2017-05-01 12:25:34
              17Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar

              Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar

              Add to Reading List

              Source URL: srg.doc.ic.ac.uk

              - Date: 2017-10-24 05:39:23
                18Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky

                Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky

                Add to Reading List

                Source URL: srg.doc.ic.ac.uk

                - Date: 2018-02-19 14:22:13
                  19Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

                  Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

                  Add to Reading List

                  Source URL: srg.doc.ic.ac.uk

                  - Date: 2017-10-17 05:46:31
                    20Symbolic Types for Lenient Symbolic Execution

                    Symbolic Types for Lenient Symbolic Execution

                    Add to Reading List

                    Source URL: homes.cs.washington.edu

                    - Date: 2017-12-12 13:01:34